more on this theme     |     more from this thinker     |     more from this text

---

Single Idea 10289

[filed under theme 5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems ]

Full Idea

Upward Löwenheim-Skolem: every first-order theory with infinite models has arbitrarily large models.

Gist of Idea

Up Löwenheim-Skolem: if infinite models, then arbitrarily large models

Source

Wilfrid Hodges (First-Order Logic [2001], 1.10)

Book Ref

'Blackwell Guide to Philosophical Logic', ed/tr. Goble,Lou [Blackwell 2001], p.29